; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i8 5 to i64
  %".5" = and i64 %".4", 63
  %".6" = lshr i64 %"SymVar_0", %".5"
  %".7" = and i64 87652534112836074, %".6"
  %".8" = and i64 117850039, %".7"
  %".9" = or i64 441848546, %"SymVar_0"
  %".10" = add i64 %".8", %".9"
  %".11" = and i64 15, %".10"
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = shl i64 %".11", %".13"
  %".15" = and i64 15, %".10"
  %".16" = zext i8 3 to i64
  %".17" = and i64 %".16", 63
  %".18" = shl i64 %".15", %".17"
  %".19" = sub i64 %"SymVar_0", 63267836
  %".20" = or i64 %".18", %".19"
  %".21" = or i64 %".14", %".20"
  %".22" = and i64 15, %".21"
  %".23" = zext i8 3 to i64
  %".24" = and i64 %".23", 63
  %".25" = shl i64 %".22", %".24"
  %".26" = or i64 %".25", %".21"
  %".27" = and i64 31, %".26"
  %".28" = zext i8 3 to i64
  %".29" = and i64 %".28", 63
  %".30" = shl i64 %".27", %".29"
  %".31" = and i64 31, %".20"
  %".32" = zext i8 3 to i64
  %".33" = and i64 %".32", 63
  %".34" = shl i64 %".31", %".33"
  %".35" = sub i64 %"SymVar_0", 43022659
  %".36" = zext i8 3 to i64
  %".37" = and i64 %".36", 63
  %".38" = lshr i64 %".10", %".37"
  %".39" = and i64 15, %".38"
  %".40" = or i64 1, %".39"
  %".41" = sub i64 64, %".40"
  %".42" = trunc i64 %".41" to i8
  %".43" = zext i8 %".42" to i64
  %".44" = and i64 %".43", 63
  %".45" = lshr i64 828565327, %".44"
  %".46" = zext i8 3 to i64
  %".47" = and i64 %".46", 63
  %".48" = lshr i64 %".10", %".47"
  %".49" = and i64 15, %".48"
  %".50" = or i64 1, %".49"
  %".51" = trunc i64 %".50" to i32
  %".52" = zext i32 %".51" to i64
  %".53" = trunc i64 %".52" to i8
  %".54" = zext i8 %".53" to i64
  %".55" = and i64 %".54", 63
  %".56" = shl i64 828565327, %".55"
  %".57" = or i64 %".45", %".56"
  %".58" = zext i8 4 to i64
  %".59" = and i64 %".58", 63
  %".60" = lshr i64 %".57", %".59"
  %".61" = and i64 7, %".60"
  %".62" = or i64 1, %".61"
  %".63" = trunc i64 %".62" to i32
  %".64" = zext i32 %".63" to i64
  %".65" = trunc i64 %".64" to i8
  %".66" = zext i8 %".65" to i64
  %".67" = and i64 %".66", 63
  %".68" = shl i64 %".35", %".67"
  %".69" = or i64 %".34", %".68"
  %".70" = or i64 %".30", %".69"
  %".71" = add i64 %".70", %".70"
  %".72" = and i64 7, %".71"
  %".73" = zext i8 2 to i64
  %".74" = and i64 %".73", 63
  %".75" = shl i64 %".72", %".74"
  %".76" = and i64 15, %".26"
  %".77" = zext i8 3 to i64
  %".78" = and i64 %".77", 63
  %".79" = shl i64 %".76", %".78"
  %".80" = or i64 %".79", %".26"
  %".81" = or i64 %".75", %".80"
  %".82" = lshr i64 %".7", 48
  %".83" = trunc i64 %".82" to i8
  %".84" = zext i8 %".83" to i32
  %".85" = zext i32 %".84" to i64
  %".86" = trunc i64 %".85" to i8
  %".87" = zext i8 %".86" to i32
  %".88" = zext i32 %".87" to i64
  %".89" = trunc i64 %".88" to i8
  %".90" = zext i8 %".89" to i32
  %".91" = zext i32 %".90" to i64
  %".92" = trunc i64 %".91" to i8
  %".93" = zext i8 %".92" to i32
  %".94" = zext i32 %".93" to i64
  %".95" = trunc i64 %".94" to i8
  %".96" = zext i8 %".95" to i64
  %".97" = lshr i64 %".7", 8
  %".98" = trunc i64 %".97" to i8
  %".99" = zext i8 %".98" to i64
  %".100" = shl i64 %".99", 8
  %".101" = or i64 %".96", %".100"
  %".102" = lshr i64 %".7", 16
  %".103" = trunc i64 %".102" to i8
  %".104" = zext i8 %".103" to i64
  %".105" = shl i64 %".104", 16
  %".106" = or i64 %".101", %".105"
  %".107" = lshr i64 %".7", 24
  %".108" = trunc i64 %".107" to i8
  %".109" = zext i8 %".108" to i64
  %".110" = shl i64 %".109", 24
  %".111" = or i64 %".106", %".110"
  %".112" = lshr i64 %".7", 40
  %".113" = trunc i64 %".112" to i8
  %".114" = zext i8 %".113" to i32
  %".115" = zext i32 %".114" to i64
  %".116" = trunc i64 %".115" to i8
  %".117" = zext i8 %".116" to i32
  %".118" = zext i32 %".117" to i64
  %".119" = trunc i64 %".118" to i8
  %".120" = zext i8 %".119" to i32
  %".121" = zext i32 %".120" to i64
  %".122" = trunc i64 %".121" to i8
  %".123" = zext i8 %".122" to i32
  %".124" = zext i32 %".123" to i64
  %".125" = trunc i64 %".124" to i8
  %".126" = zext i8 %".125" to i64
  %".127" = shl i64 %".126", 32
  %".128" = or i64 %".111", %".127"
  %".129" = lshr i64 %".7", 32
  %".130" = trunc i64 %".129" to i8
  %".131" = zext i8 %".130" to i32
  %".132" = zext i32 %".131" to i64
  %".133" = trunc i64 %".132" to i8
  %".134" = zext i8 %".133" to i32
  %".135" = zext i32 %".134" to i64
  %".136" = trunc i64 %".135" to i8
  %".137" = zext i8 %".136" to i64
  %".138" = shl i64 %".137", 40
  %".139" = or i64 %".128", %".138"
  %".140" = trunc i64 %".7" to i8
  %".141" = zext i8 %".140" to i32
  %".142" = zext i32 %".141" to i64
  %".143" = trunc i64 %".142" to i8
  %".144" = zext i8 %".143" to i32
  %".145" = zext i32 %".144" to i64
  %".146" = trunc i64 %".145" to i8
  %".147" = zext i8 %".146" to i64
  %".148" = shl i64 %".147", 48
  %".149" = or i64 %".139", %".148"
  %".150" = lshr i64 %".7", 56
  %".151" = trunc i64 %".150" to i8
  %".152" = zext i8 %".151" to i64
  %".153" = shl i64 %".152", 56
  %".154" = or i64 %".149", %".153"
  %".155" = and i64 63, %".154"
  %".156" = zext i8 4 to i64
  %".157" = and i64 %".156", 63
  %".158" = shl i64 %".155", %".157"
  %".159" = lshr i64 %".10", 32
  %".160" = trunc i64 %".159" to i8
  %".161" = zext i8 %".160" to i32
  %".162" = lshr i64 %".10", 40
  %".163" = trunc i64 %".162" to i8
  %".164" = zext i8 %".163" to i32
  %".165" = shl i32 %".164", 8
  %".166" = or i32 %".161", %".165"
  %".167" = lshr i64 %".10", 48
  %".168" = trunc i64 %".167" to i8
  %".169" = zext i8 %".168" to i32
  %".170" = shl i32 %".169", 16
  %".171" = or i32 %".166", %".170"
  %".172" = lshr i64 %".10", 56
  %".173" = trunc i64 %".172" to i8
  %".174" = zext i8 %".173" to i32
  %".175" = shl i32 %".174", 24
  %".176" = or i32 %".171", %".175"
  %".177" = zext i32 %".176" to i64
  %".178" = trunc i64 %".177" to i32
  %".179" = zext i32 %".178" to i64
  %".180" = trunc i64 %".179" to i32
  %".181" = trunc i32 %".180" to i8
  %".182" = zext i8 %".181" to i64
  %".183" = trunc i64 %".179" to i32
  %".184" = lshr i32 %".183", 8
  %".185" = trunc i32 %".184" to i8
  %".186" = zext i8 %".185" to i64
  %".187" = shl i64 %".186", 8
  %".188" = or i64 %".182", %".187"
  %".189" = trunc i64 %".179" to i32
  %".190" = lshr i32 %".189", 16
  %".191" = trunc i32 %".190" to i8
  %".192" = zext i8 %".191" to i64
  %".193" = shl i64 %".192", 16
  %".194" = or i64 %".188", %".193"
  %".195" = trunc i64 %".179" to i32
  %".196" = lshr i32 %".195", 24
  %".197" = trunc i32 %".196" to i8
  %".198" = zext i8 %".197" to i64
  %".199" = shl i64 %".198", 24
  %".200" = or i64 %".194", %".199"
  %".201" = trunc i64 %".10" to i8
  %".202" = zext i8 %".201" to i32
  %".203" = lshr i64 %".10", 8
  %".204" = trunc i64 %".203" to i8
  %".205" = zext i8 %".204" to i32
  %".206" = shl i32 %".205", 8
  %".207" = or i32 %".202", %".206"
  %".208" = lshr i64 %".10", 16
  %".209" = trunc i64 %".208" to i8
  %".210" = zext i8 %".209" to i32
  %".211" = shl i32 %".210", 16
  %".212" = or i32 %".207", %".211"
  %".213" = lshr i64 %".10", 24
  %".214" = trunc i64 %".213" to i8
  %".215" = zext i8 %".214" to i32
  %".216" = shl i32 %".215", 24
  %".217" = or i32 %".212", %".216"
  %".218" = zext i32 %".217" to i64
  %".219" = trunc i64 %".218" to i32
  %".220" = zext i32 %".219" to i64
  %".221" = trunc i64 %".220" to i32
  %".222" = zext i32 %".221" to i64
  %".223" = trunc i64 %".222" to i32
  %".224" = zext i32 %".223" to i64
  %".225" = trunc i64 %".224" to i32
  %".226" = trunc i32 %".225" to i8
  %".227" = zext i8 %".226" to i64
  %".228" = shl i64 %".227", 32
  %".229" = or i64 %".200", %".228"
  %".230" = trunc i64 %".224" to i32
  %".231" = lshr i32 %".230", 8
  %".232" = trunc i32 %".231" to i8
  %".233" = zext i8 %".232" to i64
  %".234" = shl i64 %".233", 40
  %".235" = or i64 %".229", %".234"
  %".236" = trunc i64 %".224" to i32
  %".237" = lshr i32 %".236", 16
  %".238" = trunc i32 %".237" to i8
  %".239" = zext i8 %".238" to i64
  %".240" = shl i64 %".239", 48
  %".241" = or i64 %".235", %".240"
  %".242" = trunc i64 %".224" to i32
  %".243" = lshr i32 %".242", 24
  %".244" = trunc i32 %".243" to i8
  %".245" = zext i8 %".244" to i64
  %".246" = shl i64 %".245", 56
  %".247" = or i64 %".241", %".246"
  %".248" = or i64 %".158", %".247"
  %".249" = zext i8 3 to i64
  %".250" = and i64 %".249", 63
  %".251" = lshr i64 %".248", %".250"
  %".252" = and i64 15, %".251"
  %".253" = or i64 1, %".252"
  %".254" = sub i64 64, %".253"
  %".255" = trunc i64 %".254" to i32
  %".256" = zext i32 %".255" to i64
  %".257" = trunc i64 %".256" to i8
  %".258" = zext i8 %".257" to i64
  %".259" = and i64 %".258", 63
  %".260" = shl i64 %".81", %".259"
  %".261" = zext i8 3 to i64
  %".262" = and i64 %".261", 63
  %".263" = lshr i64 %".248", %".262"
  %".264" = and i64 15, %".263"
  %".265" = or i64 1, %".264"
  %".266" = trunc i64 %".265" to i8
  %".267" = zext i8 %".266" to i64
  %".268" = and i64 %".267", 63
  %".269" = lshr i64 %".81", %".268"
  %".270" = or i64 %".260", %".269"
  %".271" = and i64 15, %".270"
  %".272" = zext i8 2 to i64
  %".273" = and i64 %".272", 63
  %".274" = shl i64 %".271", %".273"
  %".275" = lshr i64 %".70", 32
  %".276" = trunc i64 %".275" to i8
  %".277" = zext i8 %".276" to i32
  %".278" = lshr i64 %".70", 40
  %".279" = trunc i64 %".278" to i8
  %".280" = zext i8 %".279" to i32
  %".281" = shl i32 %".280", 8
  %".282" = or i32 %".277", %".281"
  %".283" = lshr i64 %".70", 48
  %".284" = trunc i64 %".283" to i8
  %".285" = zext i8 %".284" to i32
  %".286" = shl i32 %".285", 16
  %".287" = or i32 %".282", %".286"
  %".288" = lshr i64 %".70", 56
  %".289" = trunc i64 %".288" to i8
  %".290" = zext i8 %".289" to i32
  %".291" = shl i32 %".290", 24
  %".292" = or i32 %".287", %".291"
  %".293" = zext i32 %".292" to i64
  %".294" = trunc i64 %".293" to i32
  %".295" = zext i32 %".294" to i64
  %".296" = trunc i64 %".295" to i32
  %".297" = zext i32 %".296" to i64
  %".298" = trunc i64 %".297" to i32
  %".299" = zext i32 %".298" to i64
  %".300" = trunc i64 %".299" to i32
  %".301" = trunc i32 %".300" to i8
  %".302" = zext i8 %".301" to i64
  %".303" = trunc i64 %".299" to i32
  %".304" = lshr i32 %".303", 8
  %".305" = trunc i32 %".304" to i8
  %".306" = zext i8 %".305" to i64
  %".307" = shl i64 %".306", 8
  %".308" = or i64 %".302", %".307"
  %".309" = trunc i64 %".299" to i32
  %".310" = lshr i32 %".309", 16
  %".311" = trunc i32 %".310" to i8
  %".312" = zext i8 %".311" to i64
  %".313" = shl i64 %".312", 16
  %".314" = or i64 %".308", %".313"
  %".315" = trunc i64 %".299" to i32
  %".316" = lshr i32 %".315", 24
  %".317" = trunc i32 %".316" to i8
  %".318" = zext i8 %".317" to i64
  %".319" = shl i64 %".318", 24
  %".320" = or i64 %".314", %".319"
  %".321" = trunc i64 %".70" to i8
  %".322" = zext i8 %".321" to i32
  %".323" = lshr i64 %".70", 8
  %".324" = trunc i64 %".323" to i8
  %".325" = zext i8 %".324" to i32
  %".326" = shl i32 %".325", 8
  %".327" = or i32 %".322", %".326"
  %".328" = lshr i64 %".70", 16
  %".329" = trunc i64 %".328" to i8
  %".330" = zext i8 %".329" to i32
  %".331" = shl i32 %".330", 16
  %".332" = or i32 %".327", %".331"
  %".333" = lshr i64 %".70", 24
  %".334" = trunc i64 %".333" to i8
  %".335" = zext i8 %".334" to i32
  %".336" = shl i32 %".335", 24
  %".337" = or i32 %".332", %".336"
  %".338" = zext i32 %".337" to i64
  %".339" = trunc i64 %".338" to i32
  %".340" = zext i32 %".339" to i64
  %".341" = trunc i64 %".340" to i32
  %".342" = trunc i32 %".341" to i8
  %".343" = zext i8 %".342" to i64
  %".344" = shl i64 %".343", 32
  %".345" = or i64 %".320", %".344"
  %".346" = trunc i64 %".340" to i32
  %".347" = lshr i32 %".346", 8
  %".348" = trunc i32 %".347" to i8
  %".349" = zext i8 %".348" to i64
  %".350" = shl i64 %".349", 40
  %".351" = or i64 %".345", %".350"
  %".352" = trunc i64 %".340" to i32
  %".353" = lshr i32 %".352", 16
  %".354" = trunc i32 %".353" to i8
  %".355" = zext i8 %".354" to i64
  %".356" = shl i64 %".355", 48
  %".357" = or i64 %".351", %".356"
  %".358" = trunc i64 %".340" to i32
  %".359" = lshr i32 %".358", 24
  %".360" = trunc i32 %".359" to i8
  %".361" = zext i8 %".360" to i64
  %".362" = shl i64 %".361", 56
  %".363" = or i64 %".357", %".362"
  %".364" = or i64 %".274", %".363"
  %".365" = or i64 %".81", %".364"
  %".366" = zext i8 %".95" to i64
  %".367" = zext i8 %".98" to i64
  %".368" = shl i64 %".367", 8
  %".369" = or i64 %".366", %".368"
  %".370" = zext i8 %".103" to i64
  %".371" = shl i64 %".370", 16
  %".372" = or i64 %".369", %".371"
  %".373" = zext i8 %".108" to i64
  %".374" = shl i64 %".373", 24
  %".375" = or i64 %".372", %".374"
  %".376" = zext i8 %".125" to i64
  %".377" = shl i64 %".376", 32
  %".378" = or i64 %".375", %".377"
  %".379" = zext i8 %".136" to i64
  %".380" = shl i64 %".379", 40
  %".381" = or i64 %".378", %".380"
  %".382" = zext i8 %".146" to i64
  %".383" = shl i64 %".382", 48
  %".384" = or i64 %".381", %".383"
  %".385" = zext i8 %".151" to i64
  %".386" = shl i64 %".385", 56
  %".387" = or i64 %".384", %".386"
  %".388" = zext i8 3 to i64
  %".389" = and i64 %".388", 63
  %".390" = lshr i64 %".248", %".389"
  %".391" = and i64 7, %".390"
  %".392" = or i64 1, %".391"
  %".393" = trunc i64 %".392" to i32
  %".394" = zext i32 %".393" to i64
  %".395" = trunc i64 %".394" to i8
  %".396" = zext i8 %".395" to i64
  %".397" = and i64 %".396", 63
  %".398" = shl i64 %".387", %".397"
  %".399" = or i64 %".365", %".398"
  ret i64 %".399"
}
